Xiphilin, Jean, historien byzantin, abréviateur de Dion Cassius au xie s.